A spatio-temporal ontology for geographic information integration
نویسندگان
چکیده
This paper presents an axiomatic formalisation of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computerverified and the computational representation of the theory is available online.
منابع مشابه
Context-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملUsing Conceptual and Ontological Models for Tracking Changes of Spatio-Temporal Objects and Concepts over Time
In this paper, we present a new approach that benefits from the advantages of both conceptual and ontological models in order to provide a powerful spatio-temporal data model for geographic information systems (GIS). We base our model on the MADS conceptual model that is transformed to a corresponding ontology model, using database to ontology mapping techniques and a set of transformation rule...
متن کاملTowards Spatio-Temporal Toponym Ontology to Assist in Geographic Information Retrieval
During the search for geographical information in web pages, people are geo-referred with toponyms (place names) instead the use of coordinates. The conceptions of places are often complicated ambiguous and different in different time. When gazetteers are utilized as background knowledge in geographic information retrieval (GIR), they are limited because of their poor geographic semantics. Ther...
متن کاملOntology approach to integration of geographical data
A key point in modern automated data processing is metadata semantics representation. Employing Semantic Web existing features ontologies is a promising option. Ontologies open a novel approach to knowledge representation. The paper presents a GIS (Geographic Information System) domain application illustrating ontological approach to data integration and data processing automation in the specif...
متن کاملA Classification of Spatio-temporal Entities Based on Their Location in Space-Time
We present an axiomatic theory of spatio-temporal entities based on the primitives spatial-region, part-of, and is-an-instance-of. We provide a classification of spatio-temporal entities according to the number and kinds of regions at which they are located in spacetime and according to whether they instantiate or are instantiated at those regions. The focus on location and instantiation at a l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- International Journal of Geographical Information Science
دوره 23 شماره
صفحات -
تاریخ انتشار 2009